Usenix Security '21 - Eosafe: Security Analysis Of Eosio Smart Contracts

USENIX Security '21 - EOSAFE: Security Analysis of EOSIO Smart Contracts

USENIX Security '21 - SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart...

USENIX Security '21 - Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

USENIX Security '21 - Evil Under the Sun: Understanding and Discovering Attacks on Ethereum...

USENIX Security '21- Why Eve and Mallory Still Love Android: Revisiting TLS (In)Security...

FragAttacks: Presentation at USENIX Security '21

USENIX Security '20 - An Ever-evolving Game: Evaluation of Real-world Attacks and Defenses

USENIX Security '21 - EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts

USENIX Security '21 - VScape: Assessing and Escaping Virtual Call Protections

USENIX Security '21 - Where's Crypto?: Automated Identification and Classification of Proprietary...

USENIX Security '19 - The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts

USENIX Security '20 - ETHBMC: A Bounded Model Checker for Smart Contracts

Securify: Practical Security Analysis of Smart Contracts

Association for Computing Machinery (ACM)

USENIX Security '20 - An Ever-evolving Game: Evaluation of Real-world Attacks and Defenses

USENIX Security '21 - Automated Discovery of Denial-of-Service Vulnerabilities in Connected Vehicle